Making a Start with the stit Logic Analysis of Intentional Action

First Steps in the stit -Logic Analysis of Intentional Action

We study intentional action in stit-logic. The formal logic study of intentional action appears to be new, since most logical studies of intention concern intention as a mental state. We model an intentional action as an action that possibly deviates from the actual action conducted by an agent. First, an actual action may deviate from an intended action because the agent is not able to carry o...

A STIT logic analysis of social influence

In this paper we propose a method for modeling social influence within the STIT approach to action. Our proposal consists in extending the STIT language with special operators that allows us to represent the consequences of an agent’s choices over the rational choices of another agent.

a swot analysis of the english program of a bilingual school in iran

با توجه به جایگاه زبان انگلیسی به عنوان زبانی بین المللی و با در نظر گرفتن این واقعیت که دولت ها و مسئولان آموزش و پرورش در سراسر جهان در حال حاضر احساس نیاز به ایجاد موقعیتی برای کودکان جهت یاد گیری زبان انگلیسی درسنین پایین در مدارس دو زبانه می کنند، تحقیق حاضر با استفاده از مدل swot (قوت ها، ضعف ها، فرصتها و تهدیدها) سعی در ارزیابی مدرسه ای دو زبانه در ایران را دارد. جهت انجام این تحقیق در م...

Modeling Attempt and Action Failure in Probabilistic STIT Logic

We define an extension of stit logic that encompasses subjective probabilities representing beliefs about simultaneous choice exertion of other agents. The formalism enables us to express the notion of ‘attempt’ as a choice exertion that maximizes the chance of success with respect to an action effect. The notion of attempt (or effort) is central in philosophical and legal discussions on respon...

Stit, Iit, and Deontic Logic for Action Types